@@
identifier init;
@@
  init(...) {
-   DEBUG(...);
    ...
  }
